1. A Concise Introduction to Mathematical Logic
پدیدآورنده : by Wolfgang Rautenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A Contrastive Lexico-semantic Study of Computer and Human Languages
پدیدآورنده : James, Oluwale Stephen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : English as a second language--ESL
3. A Contrastive Lexico-semantic Study of Computer and Human Languages
پدیدآورنده : James, Oluwale Stephen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : English as a second language--ESL
4. A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
پدیدآورنده : von Uwe Glässer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.
رده :
QA76
.
9
.
D5
V668
1993
5. A Visual Basic 6 programmer's toolkit
پدیدآورنده : Hank Marquis and Eric A. Smith.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : BASIC (Computer program language),Microsoft Visual BASIC.,Visual Basic (Computer program language)
رده :
QA76
.
73
.
B3
H365
9999
6. A 25-Year perspective on logic programming
پدیدآورنده : / Agostino Dovier, Enrico Pontelli (Eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
7. A beginner's guide to Programming logic and design
پدیدآورنده : Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
8. A concise introduction to mathematical logic
پدیدآورنده : / Wolfgang Rautenberg
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
9. A first course in optimization theory /
پدیدآورنده : Rangarajan K. Sundaram
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical optimization,Programming (Mathematics),Mathematische Optimierung-- Theorie,Optimierung-- Lehrbuch
رده :
QA402
.
5
.
S837
1996
10. A first course in scientific computing symbolic, graphic, and numeric modeling using Maple, Java, Mathematica, and Fortran90
پدیدآورنده : Rubin H. Landau ; contributors, Robyn Wangberg ... ]et al.[.
کتابخانه: (کرمان)
موضوع : Science
رده :
Q
183
.
9
.
L36
2005
11. A fuzzy PROLOG database system
پدیدآورنده : Li, Deyi
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
12. A general theory of formality
پدیدآورنده : Beck, Andrew Edward
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
13. A guide to programming logic and design: introductory
پدیدآورنده : Farrell, Joyce
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
14. A perspective of constraint-based reasoning :
پدیدآورنده : edited by H.W. Güsgen, J. Hertzberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
رده :
QA75
.
E358
1992
15. A portable natural language interface from Arabic to SQL
پدیدآورنده : Al-Johar, Badr
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software & programming
16. A primer on scientific programming with Python /
پدیدآورنده : Hans Petter Langtangen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
رده :
QA76
.
73
.
P98
17. A quick and gentle guide to constraint logic programming via ECLiPSe
پدیدآورنده : Antoni Niederliński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Eclipse (informat.),Eclipse (środowisko programistyczne).,Programowanie logiczne.
18. A science of operations
پدیدآورنده : / by Peter Mark Priestley
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
19. A science of operations
پدیدآورنده : Mark Priestley
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
20. A science of operations: Machines, logic and the invention of programming
پدیدآورنده : / Mark Priestley (auth.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
